Советский философский словарь - положительная логика
Связанные словари
Положительная логика
Логические законы, соответствующие правильным рассуждениям в П. л., описываются и каталогизируются в соответствующих логич. исчислениях, из к-рых важнейшими являются положительное импликативное исчисление высказываний с единств. логич. операцией импликацией и полное положит. исчисление высказываний с конъюнкцией, дизъюнкцией, импликацией и эквиваленцией. Причём смысл этих операций детерминируется собств. постулатами П. л. Более сильные логич. исчисления получаются из исчислений П. л. последовательным неконсервативным расширением (усилением) их систем аксиом или правил вывода.Так, присоединение к импликативной П. л. правила reductio ad absurdum (сведения к абсурду) даёт минимальную логику Колмогорова (1925), а аналогичное добавление к полному положит. исчислению высказываний минимальную логику Йохансона (1936). Присоединяя к последней аксиому ex falso sequitur quod libet (противоречие влечёт произвольное утверждение) и аксиому tertium non datur (исключённого третьего принцип) , получают соответственно интуиционистскую и классич. логику высказываний. Т. о., все законы П. л. имеют силу (доказуемы) в интуиционистской и классич. логике. Но смысл логич.. операций, входящих в законы П. л. как подсистемы др. логик, заимствуется из этих более сильных логик, т. е. по существу уже не является «положительным».
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 1740 | |
2 | 1418 | |
3 | 1218 | |
4 | 1149 | |
5 | 1138 | |
6 | 1101 | |
7 | 906 | |
8 | 835 | |
9 | 791 | |
10 | 758 | |
11 | 750 | |
12 | 733 | |
13 | 701 | |
14 | 701 | |
15 | 699 | |
16 | 683 | |
17 | 680 | |
18 | 655 | |
19 | 650 | |
20 | 631 |